A Slotted Hash Cons for Alpha Invariance
philipzucker.com·10h·
Discuss: Hacker News
λLambda Encodings
Dynamic Relational Priming Improves Transformer in Multivariate Time Series
arxiv.org·1h
🧠Machine Learning
Semantic Dictionary Encoding
falvotech.com·14h·
Discuss: Hacker News
🌀Brotli Dictionary
ECMAScript TC39 proposal-pattern-matching
github.com·15h·
Discuss: Hacker News
🔤Type Theory
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·1h·
Discuss: DEV
🕸️Graph Embeddings
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·15h
🎯Dependent Parsing
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·2h
✅Format Verification
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·16h
🤖Grammar Induction
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·6h·
Discuss: Lobsters
🌳Incremental Parsing
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·20h
🔗Topological Sorting
Secure Semantic Communication over Wiretap Channels: Rate-Distortion-Equivocation Tradeoff
arxiv.org·1h
ℹ️Information Theory
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·1d
📋Document Grammar
Linkage
11011110.github.io·13h
📐Linear Algebra
Show HN: I wrote a book: The Elements of Code
news.ycombinator.com·14h·
Discuss: Hacker News
🛠Language Design
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
ALIGNS: Unlocking nomological networks in psychological measurement through a large language model
arxiv.org·1d
🧠Intelligence Compression
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·1h
🧮Algebraic Datatypes
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Algebraic Types are not Scary
blog.aiono.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Balance between refactoring and inheritance in your code
github.com·17h·
Discuss: Hacker News
✅Format Verification